Computer systems - PDFSEARCH.IO - Document Search Engine

Computer systems
Results: 26232

#	Item
931	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable 1.3.A-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Software engineering Formal methods Computing Theoretical computer science Software testing Software quality Logic in computer science Software verification Formal verification Runtime verification Model checking Reliability engineering
932	Regional Research Institute West Virginia University Technical Document Series Using a Spreadsheet SAM for GAMS CGE Modeling Add to Reading List Source URL: rri.wvu.edu Language: English - Date: 2014-12-17 16:53:05 Mathematics Computer algebra systems General Algebraic Modeling System Computable general equilibrium Social accounting matrix Gams Economic model Spreadsheet Parameter Variable General equilibrium theory Draft:Extended mathematical programming
933	Can simple Natural Language Generation improve Intelligent Tutoring Systems? Barbara Di Eugenio and Michael J. Trolio Electrical Engineering and Computer Science Department University of Illinois at Chicago 1120 SEO (M/C Add to Reading List Source URL: nlp.cs.uic.edu Language: English - Date: 2013-03-02 15:00:28 Computational linguistics Software engineering Programming language theory Computing Natural language processing Educational psychology Educational technology Intelligent tutoring system The Diag Aggregation IBM Basic assembly language and successors ALGOL 68
934	Bruno R. Preiss, B.A.Sc., M.A.Sc., Ph.D., P.Eng. 335 Calvington Place, Waterloo, ON N2T 1R1 \| \| www.brpreiss.com Overview A solid performer with 12 years of academic experience followed Add to Reading List Source URL: www.brpreiss.com Language: English - Date: 2014-07-08 21:38:55 Software Economy of Canada Computer architecture BlackBerry Embedded operating systems Mobile operating systems University of Waterloo
935	A Reactive Data Structure for Geographic Information Systems Peter van Oosterom TNO Physics and Electronics Laboratory, P.O. Box 96864, 2509 JG The Hague, The Netherlands and Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:32:58 Computing Computer programming Software development 3D computer graphics Video game development Binary space partitioning BSP Binary trees Data types R-tree Hidden surface determination Tree
936	Challenges in Experimenting with Botnet Detection Systems Adam J. Aviv Andreas Haeberlen University of Pennsylvania Abstract Add to Reading List Source URL: static.usenix.org Language: English - Date: 2011-07-08 13:42:23 Spamming Computing Computer network security Multi-agent systems Botnets Concurrent computing Command and control Storm Worm Email spam Storm botnet Kelihos botnet
937	Predicting the Political Alignment of Twitter Users Michael D. Conover, Bruno Gonc¸alves, Jacob Ratkiewicz, Alessandro Flammini and Filippo Menczer Center for Complex Networks and Systems Research School of Informatics Add to Reading List Source URL: cnets.indiana.edu Language: English - Date: 2014-04-03 14:21:46 Computing Information science Web 2.0 Information Social networking services Twitter Social media Computer jargon Hashtag Reblogging Recommender system Tag
938	C A S E S T U DY Florida Gulf Coast University teaches malware a lesson Malwarebytes Anti-Malware for Business enables the Library Computing and Technology department to eliminate malware from staff systems Add to Reading List Source URL: es.malwarebytes.com Language: English - Date: 2016-07-07 18:34:11 Software Computer security System software Antivirus software Malware Computer virus Zero-day Avira Draft:Marcin Kleczynski Bleeping Computer
939	jdrutils Version 1.4 Nicola Talbot 19th October, 2015 Abstract FlowframTk comes with a number of command line applications for Add to Reading List Source URL: www.dickimaw-books.com Language: English - Date: 2015-10-20 12:33:36 Software Computing Computer graphics Vector graphics Graphics file formats Adobe Systems Digital press Technical communication PostScript Cat LaTeX Shell script
940	Probabilistic Message Passing in Peer Data Management Systems∗ Philippe Cudr´e-Mauroux School of Computer and Communication Sciences EPFL – Switzerland Add to Reading List Source URL: lsirpeople.epfl.ch Language: English - Date: 2006-01-25 04:01:26 Information science Ontology Semantic Web Information Graphical models Computing Databases Schema matching Data integration Data model Ontology alignment Belief propagation

UPDATE